2012 AMS--SIAM Birkhoff Prize

Nicole George wins 2012 JEB Outstanding Paper Prize.

THE 2012 GSA HONORS AND AWARDS The 2012 Novitski Prize Dana

THE Edward Novitski Prize is named in honor of Drosophila geneticist Edward Novitski (1928–2006) and is awarded to recognize the “creativity and intellectual ingenuity” that goes into solving a difficult genetic problem. This year's Novitski Prize recognizes Dana Carroll for his insight into the potential use of zinc-finger nucleases (ZFNs) for genome modification and for his work demonstrating...

The 36 th SIAM Southeastern - Atlantic Section Annual Conference March 24 - 25 , 2012

This mini-symposium will explore recent advancement in the mathematical modeling and numerical analysis/scientific computation of a variety of problems that exhibit moving interfaces. Discussion will range from modeling issues to numerical analysis of the computational methods. Application areas include multi-physics applications, phase-field methods, optimal control, fluid-structure interactio...

Sub-Birkhoff

A fundamental result in rewriting is : E |= s ≈ t ⇐⇒1 E ` s = t ⇐⇒2 s↔E t 1. is Birkhoff’s theorem expressing that semantic consequence (|=) coincides with syntactic consequence (`). 2. expresses that equality in equational logic (=) coincides with convertibility in rewriting (↔∗), a property known as logicality. We show that the result can be extended to hold for several sub-equational logics ...

Topological Birkhoff

One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a finite power of A. On the other hand, if A is infinite, then in general one needs to take an infinite power in order to obtai...